Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
251	CCCG 2009, Vancouver, BC, August 17–19, 2009 Rigid Components of Random Graphs Louis Theran∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:23:35 Structural rigidity Laman graph Degeneracy Connectivity Tree Dense graph Erdős–Rényi model Pseudoforest Graph theory Mathematics Random graph
252	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
253	A ROBUST ACTIVE SHAPE MODEL USING AN EXPECTATION-MAXIMIZATION FRAMEWORK Carlos Santiago, Jacinto C. Nascimento, Jorge S. Marques Institute for Systems and Robotics, Instituto Superior T´ecnico, Lisbon, Portugal ABSTRACT Add to Reading List Source URL: vislab.isr.ist.utl.pt Language: English - Date: 2014-07-31 18:08:02 Robust statistics Statistical theory Image processing Active shape model Expectation–maximization algorithm Outlier Active appearance model Segmentation Maximum likelihood Statistics Computer vision Estimation theory
254	Which Recursive Equilibrium? Manjira Datta, Leonard J. Mirman, Olivier F. Morand, Kevin Re¤etty PRELIMINARY and INCOMPLETE June, 2012 Abstract Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 17:18:00 Game theory General equilibrium theory Dynamic programming Comparative statics Economic model Systems theory Applied mathematics Operations research Mathematical optimization Control theory
255	ANSI SQL Hierarchical Processing Can Fully Integrate Native XML (as published in the ACM SIGMOD Record, MarchMichael M David Advanced Data Access Technologies, Inc. Abstract Add to Reading List Source URL: www.adatinc.com Language: English - Date: 2013-10-21 19:30:55 SQL keywords SQL Relational database management systems Database management systems Select Hierarchical database model Table Relational database Hierarchy Data management Data Database theory
256	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
257	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
258	Finite time ruin problems for the Markov-modulated risk model Jingchao Li, David C M Dickson, Shuanming Li Centre for Actuarial Studies, Department of Economics, University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2014-06-30 21:21:47 Differential equations Spectral theory Ordinary differential equations Markov chain Laplace transform Heat equation Decomposition of spectrum Mathematical analysis Mathematics Calculus
259	Generating counterexamples for quantitative safety specifications in probabilistic B Ukachukwu Ndukwu1 Department of Computing, Macquarie University, NSW 2109 Sydney, Australia. Abstract Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-04-30 06:17:08 Probabilistic complexity theory Complexity classes Probabilistic Turing machine Turing machine PP NL Predicate transformer semantics IP Model checking Theoretical computer science Computational complexity theory Applied mathematics
260	Semantic Compositionality through Recursive Matrix-Vector Spaces Richard Socher Brody Huval Christopher D. Manning Andrew Y. Ng , {brodyh,manning,ang}@stanford.edu Computer Science Department, Stanford Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2012-06-04 17:13:09 Abstract algebra Vectors Information retrieval Matrix theory Matrix Vector space model Semantic similarity Euclidean vector Recurrent neural network Algebra Mathematics Linear algebra

UPDATE